Small Science - PDFSEARCH.IO - Document Search Engine

Small Science
Results: 4133

#	Item
151	System Description: iProver – An Instantiation-Based Theorem Prover for First-Order Logic Konstantin Korovin? The University of Manchester School of Computer Science Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2008-10-30 19:06:51 Automated theorem proving Logic in computer science Constraint programming Logic programming Rules of inference Resolution Boolean satisfiability problem Clause Small clause Reasoning system English relative clauses Unit propagation
152	Twilight Times Books Summer 2016 Catalogue Twilight Times Books was established January 1999 as an epublisher. In 2004, we evolved from an Internet epublisher to a small press print publisher when we published 21 titles Add to Reading List Source URL: twilighttimesbooks.com Language: English - Date: 2016-04-14 12:25:52 Ace Books Pearson PLC Science fiction
153	April 17, 2006 The Honorable Lawrence M. Small Secretary of the Smithsonian Institution 100 Jefferson Drive, SW Washington, D.C Add to Reading List Source URL: public.resource.org Language: English - Date: 2008-11-01 14:03:44 Smithsonian Institution Nina Gilden Seavey American film directors Science & Entertainment Exchange Michael Tobias
154	Color profile: Disabled Composite Default screen 4 Small-scale Fisheries Perspectives on Add to Reading List Source URL: mpa.icsf.net Language: English - Date: 2012-04-18 09:48:11 Fisheries law Sustainable fisheries Fishing industry Natural resource management Fisheries science Fisheries management Artisanal fishing Fishing Overfishing Fishery Gillnetting Common Fisheries Policy
155	BULLETIN BOARD / INFORMATION AREAS / DISPLAY CASES BULLETIN BOARDS The Berne Public Library offers a SMALL bulletin board for announcements and notices of programs and activities sponsored by government and non-profit c Add to Reading List Source URL: www.bernepl.lib.in.us Language: English - Date: 2015-06-17 14:57:47 Library science Public library Library
156	Routers with very small buffers∗ Mihaela Enachescu Department of Computer Science Stanford University † Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2007-04-09 01:17:22 Network performance Transmission Control Protocol Throughput Packet loss Traffic flow Additive increase/multiplicative decrease FAST TCP TCP congestion control
157	EPJ manuscript No. (will be inserted by the editor) Empirical temporal networks of face-to-face human interactions Add to Reading List Source URL: www.cpt.univ-mrs.fr Language: English - Date: 2013-09-13 15:15:15 Network theory Network science Complex network Hub Peer-to-peer Small-world network Climate as complex networks Social network Albert-Lszl Barabsi Weighted network Degree distribution Wireless sensor network
158	CASE STUDY Data science that speaks your language. Small businesses Add to Reading List Source URL: www.digitalcatapultcentre.org.uk Language: English - Date: 2016-02-26 11:14:51 Department for Business Innovation and Skills Information science Formal sciences Catapult centres Science and technology in the United Kingdom Catapult Data science Analytics
159	Using Small Axiomatic Ontologies for Understanding Group Activities from Movement Sensor Data Torsten Hahmann, Silvia Nittel and Xueying Gu School of Computing and Information Science, University of Maine, Orono, ME, USA Add to Reading List Source URL: www.ncgia.buffalo.edu Language: English - Date: 2016-05-18 12:38:25 Ontology Knowledge representation Knowledge engineering Information science Technical communication Frame language Wireless sensor network Upper ontology Formal ontology
160	DENMARK – SMALL IN SIZE BIG IN THINKING CHINA EDUCATION EXPO 24 OCTOBER, 2015 NINA ESPEGÅRD HASSEL, CONSUL OF INNOVATION INNOVATION CENTRE DENMARK, SHANGHAI Add to Reading List Source URL: www.ehef.asia Language: English - Date: 2016-01-05 06:28:08 Public universities Denmark Scandinavia Ministry of Science Innovation and Higher Education University of Copenhagen Aarhus University Aarhus KEA Copenhagen School of Design and Technology Index of Denmark-related articles

UPDATE